#ifndef HAL_TIMER_H
#define HAL_TIMER_H

void HalTimerInit(void);

#endif // HAL_TIMER_H
